3018 Prover Review